SherbyNet - /page/wikibook/entry.mu

<!DOCTYPE html>

<title>Square-integrable function</title>

</head>

<span id="openzim-page-title" class="mw-page-title-main"><span class="mw-page-title-main">Square-integrable function</span></span>

</h1>

</header>

/* start https://en.wikipedia.org/ */

.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}@media print{body.ns-0 .mw-parser-output .ambox{display:none!important}}

/* end https://en.wikipedia.org/ */

</style>

<p>In <a href="Mathematics" title="Mathematics">mathematics</a>, a <b>square-integrable function</b>, also called a <b>quadratically integrable function</b> or <b><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{2}}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{2}}</annotation>

</semantics>

</math></span><img src="./ba162c66ca85776c83557af5088cc6f8584d1912.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.637ex; height:2.676ex;" alt="{\displaystyle L^{2}}" loading="lazy"></span> function</b> or <b>square-summable function</b>,<sup id="cite_ref-:1_1-0" class="reference"><a href="#cite_note-:1-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> is a <a href="Real_number" title="Real number">real</a>- or <a href="Complex_number" title="Complex number">complex</a>-valued <a href="Measurable_function" title="Measurable function">measurable function</a> for which the <a href="Integral" title="Integral">integral</a> of the square of the <a href="Absolute_value" title="Absolute value">absolute value</a> is finite. Thus, square-integrability on the real line <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (-\infty ,+\infty )}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (-\infty ,+\infty )}</annotation>

</semantics>

</math></span><img src="./e577bfa9ed1c0f83ed643206abae3cd2f234cf9c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.107ex; height:2.843ex;" alt="{\displaystyle (-\infty ,+\infty )}" loading="lazy"></span> is defined as follows.

</p>

</mrow>

</mrow>

<mtext> square integrable</mtext>

</mrow>

</mrow>

</mrow>

</msubsup>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f:\mathbb {R} \to \mathbb {C} {\text{ square integrable}}\quad \iff \quad \int _{-\infty }^{\infty }|f(x)|^{2}\,\mathrm {d} x<\infty }</annotation>

</semantics>

</math></span><img src="./ec1ad1e98839b4d041408c84a2ca7b9214e91557.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:59.548ex; height:6.009ex;" alt="{\displaystyle f:\mathbb {R} \to \mathbb {C} {\text{ square integrable}}\quad \iff \quad \int _{-\infty }^{\infty }|f(x)|^{2}\,\mathrm {d} x<\infty }" loading="lazy"></span>

</p>

</div>

<p>One may also speak of quadratic integrability over bounded intervals such as <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [a,b]}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [a,b]}</annotation>

</semantics>

</math></span><img src="./9c4b788fc5c637e26ee98b45f89a5c08c85f7935.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.555ex; height:2.843ex;" alt="{\displaystyle [a,b]}" loading="lazy"></span> for <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle a\leq b}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle a\leq b}</annotation>

</semantics>

</math></span><img src="./41558abc50886fdf38817495b243958d7b3dd39b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:5.326ex; height:2.343ex;" alt="{\displaystyle a\leq b}" loading="lazy"></span>.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>

</p>

</mrow>

<mtext> square integrable on </mtext>

</mrow>

</mrow>

</mrow>

</msubsup>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f:[a,b]\to \mathbb {C} {\text{ square integrable on }}[a,b]\quad \iff \quad \int _{a}^{b}|f(x)|^{2}\,\mathrm {d} x<\infty }</annotation>

</semantics>

</math></span><img src="./5fe54a3e7f6901efd080a27eae4ca5c7ed7ba9bb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.338ex; width:69.551ex; height:6.343ex;" alt="{\displaystyle f:[a,b]\to \mathbb {C} {\text{ square integrable on }}[a,b]\quad \iff \quad \int _{a}^{b}|f(x)|^{2}\,\mathrm {d} x<\infty }" loading="lazy"></span>

</p>

</div>

<p>An equivalent definition is to say that the square of the function itself (rather than of its absolute value) is <a href="Lebesgue_integrable" class="mw-redirect" title="Lebesgue integrable">Lebesgue integrable</a>. For this to be true, the integrals of the positive and negative portions of the real part must both be finite, as well as those for the imaginary part.

</p><p>The <a href="Vector_space" title="Vector space">vector space</a> of (equivalence classes of) square integrable functions (with respect to <a href="Lebesgue_measure" title="Lebesgue measure">Lebesgue measure</a>) forms the <a href="Lp_space" title="Lp space"><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{p}}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{p}}</annotation>

</semantics>

</math></span><img src="./cf2317aaca1ecee4b8ccf667bc1001059eae5850.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.642ex; height:2.343ex;" alt="{\displaystyle L^{p}}" loading="lazy"></span> space</a> with <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p=2.}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle p=2.}</annotation>

</semantics>

</math></span><img src="./80c27c78c5fcd168d5ab55648934c29d9c9d03f4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:6.167ex; height:2.509ex;" alt="{\displaystyle p=2.}" loading="lazy"></span> Among the <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{p}}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{p}}</annotation>

</semantics>

</math></span><img src="./cf2317aaca1ecee4b8ccf667bc1001059eae5850.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.642ex; height:2.343ex;" alt="{\displaystyle L^{p}}" loading="lazy"></span> spaces, the class of square integrable functions is unique in being compatible with an <a href="Inner_product_space" title="Inner product space">inner product</a>, which allows notions like angle and orthogonality to be defined. Along with this inner product, the square integrable functions form a <a href="Hilbert_space" title="Hilbert space">Hilbert space</a>, since all of the <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{p}}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{p}}</annotation>

</semantics>

</math></span><img src="./cf2317aaca1ecee4b8ccf667bc1001059eae5850.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.642ex; height:2.343ex;" alt="{\displaystyle L^{p}}" loading="lazy"></span> spaces are <a href="Complete_metric_space" title="Complete metric space">complete</a> under their respective <a href="Lp_space#Lp_spaces_and_Lebesgue_integrals" title="Lp space"><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle p}</annotation>

</semantics>

</math></span><img src="./81eac1e205430d1f40810df36a0edffdc367af36.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:1.259ex; height:2.009ex;" alt="{\displaystyle p}" loading="lazy"></span>-norms</a>.

</p><p>Often the term is used not to refer to a specific function, but to equivalence classes of functions that are equal <a href="Almost_everywhere" title="Almost everywhere">almost everywhere</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Properties">Properties</h2></div>

<p>The square integrable functions (in the sense mentioned in which a "function" actually means an <a href="Equivalence_class" title="Equivalence class">equivalence class</a> of functions that are equal almost everywhere) form an <a href="Inner_product_space" title="Inner product space">inner product space</a> with <a href="Inner_product" class="mw-redirect" title="Inner product">inner product</a> given by

<msub>

</mrow>

</msub>

<mover>

<mrow>

</mrow>

</mover>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \langle f,g\rangle =\int _{A}f(x){\overline {g(x)}}\,\mathrm {d} x,}</annotation>

</semantics>

</math></span></span>

where

</p>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f}</annotation>

</semantics>

</math></span><img src="./132e57acb643253e7810ee9702d9581f159a1c61.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.279ex; height:2.509ex;" alt="{\displaystyle f}" loading="lazy"></span> and <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math></span><img src="./d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy"></span> are square integrable functions,</li>

<mover>

<mrow>

</mrow>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\overline {f(x)}}}</annotation>

</semantics>

</math></span><img src="./d24103646428feba4311115a4dd47e947f44358f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.533ex; height:3.676ex;" alt="{\displaystyle {\overline {f(x)}}}" loading="lazy"></span> is the <a href="Complex_conjugate" title="Complex conjugate">complex conjugate</a> of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f(x),}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f(x),}</annotation>

</semantics>

</math></span><img src="./10535d1a7a971ffeeb216605cb846099fab2e653.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.064ex; height:2.843ex;" alt="{\displaystyle f(x),}" loading="lazy"></span></li>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle A}</annotation>

</semantics>

</math></span><img src="./7daff47fa58cdfd29dc333def748ff5fa4c923e3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle A}" loading="lazy"></span> is the set over which one integrates—in the first definition (given in the introduction above), <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle A}</annotation>

</semantics>

</math></span><img src="./7daff47fa58cdfd29dc333def748ff5fa4c923e3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle A}" loading="lazy"></span> is <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (-\infty ,+\infty )}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (-\infty ,+\infty )}</annotation>

</semantics>

</math></span><img src="./e577bfa9ed1c0f83ed643206abae3cd2f234cf9c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.107ex; height:2.843ex;" alt="{\displaystyle (-\infty ,+\infty )}" loading="lazy"></span>, in the second, <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle A}</annotation>

</semantics>

</math></span><img src="./7daff47fa58cdfd29dc333def748ff5fa4c923e3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle A}" loading="lazy"></span> is <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [a,b]}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [a,b]}</annotation>

</semantics>

</math></span><img src="./9c4b788fc5c637e26ee98b45f89a5c08c85f7935.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.555ex; height:2.843ex;" alt="{\displaystyle [a,b]}" loading="lazy"></span>.</li></ul>

<p>Since <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |a|^{2}=a\cdot {\overline {a}}}">

</mrow>

<msup>

</mrow>

</mrow>

</msup>

<mover>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |a|^{2}=a\cdot {\overline {a}}}</annotation>

</semantics>

</math></span><img src="./f44301a20392fb0b3ea524d3668e88531d018a81.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:10.93ex; height:3.343ex;" alt="{\displaystyle |a|^{2}=a\cdot {\overline {a}}}" loading="lazy"></span>, square integrability is the same as saying

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \langle f,f\rangle <\infty .\,}</annotation>

</semantics>

</math></span></span>

</p><p>It can be shown that square integrable functions form a <a href="Complete_metric_space" title="Complete metric space">complete metric space</a> under the metric induced by the inner product defined above.

A complete metric space is also called a <a href="Cauchy_space" title="Cauchy space">Cauchy space</a>, because sequences in such metric spaces converge if and only if they are <a href="Cauchy_sequence" title="Cauchy sequence">Cauchy</a>.

A space that is complete under the metric induced by a norm is a <a href="Banach_space" title="Banach space">Banach space</a>.

Therefore, the space of square integrable functions is a Banach space, under the metric induced by the norm, which in turn is induced by the inner product.

As we have the additional property of the inner product, this is specifically a <a href="Hilbert_space" title="Hilbert space">Hilbert space</a>, because the space is complete under the metric induced by the inner product.

</p><p>This inner product space is conventionally denoted by <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \left(L_{2},\langle \cdot ,\cdot \rangle _{2}\right)}">

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \left(L_{2},\langle \cdot ,\cdot \rangle _{2}\right)}</annotation>

</semantics>

</math></span><img src="./d9b506dc2d2dcea89ba3017b3ecf7d7a7756f957.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:10.671ex; height:2.843ex;" alt="{\displaystyle \left(L_{2},\langle \cdot ,\cdot \rangle _{2}\right)}" loading="lazy"></span> and many times abbreviated as <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L_{2}.}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L_{2}.}</annotation>

</semantics>

</math></span><img src="./5917fb2ea23ebf23552bb76c63b1a1b70f98e644.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.284ex; height:2.509ex;" alt="{\displaystyle L_{2}.}" loading="lazy"></span>

Note that <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L_{2}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L_{2}}</annotation>

</semantics>

</math></span><img src="./c6a952cfe42c86b7741f55a817da0e251793a358.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.637ex; height:2.509ex;" alt="{\displaystyle L_{2}}" loading="lazy"></span> denotes the set of square integrable functions, but no selection of metric, norm or inner product are specified by this notation.

The set, together with the specific inner product <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \langle \cdot ,\cdot \rangle _{2}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \langle \cdot ,\cdot \rangle _{2}}</annotation>

</semantics>

</math></span><img src="./3e4f08db92614e3f916099ec84a222cc426210da.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.191ex; height:2.843ex;" alt="{\displaystyle \langle \cdot ,\cdot \rangle _{2}}" loading="lazy"></span> specify the inner product space.

</p><p>The space of square integrable functions is the <a href="Lp_space" title="Lp space"><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{p}}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{p}}</annotation>

</semantics>

</math></span><img src="./cf2317aaca1ecee4b8ccf667bc1001059eae5850.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.642ex; height:2.343ex;" alt="{\displaystyle L^{p}}" loading="lazy"></span> space</a> in which <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p=2.}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle p=2.}</annotation>

</semantics>

</math></span><img src="./80c27c78c5fcd168d5ab55648934c29d9c9d03f4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:6.167ex; height:2.509ex;" alt="{\displaystyle p=2.}" loading="lazy"></span>

</p>

<div class="mw-heading mw-heading2"><h2 id="Examples">Examples</h2></div>

<p>The function <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\tfrac {1}{x^{n}}},}">

<mfrac>

<msup>

</mrow>

</msup>

</mfrac>

</mstyle>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\tfrac {1}{x^{n}}},}</annotation>

</semantics>

</math></span><img src="./a5be0b5606da2f6beacb7375ddbe97c060e72201.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.171ex; width:3.388ex; height:3.509ex;" alt="{\displaystyle {\tfrac {1}{x^{n}}},}" loading="lazy"></span> defined on <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (0,1),}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (0,1),}</annotation>

</semantics>

</math></span><img src="./5d50b883d8cd6d80896395da3d6d04041e10fc8e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.815ex; height:2.843ex;" alt="{\displaystyle (0,1),}" loading="lazy"></span> is in <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{2}}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{2}}</annotation>

</semantics>

</math></span><img src="./ba162c66ca85776c83557af5088cc6f8584d1912.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.637ex; height:2.676ex;" alt="{\displaystyle L^{2}}" loading="lazy"></span> for <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle n<{\tfrac {1}{2}}}">

<mfrac>

</mfrac>

</mstyle>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle n<{\tfrac {1}{2}}}</annotation>

</semantics>

</math></span><img src="./d363a490b1a97a3d875988e58ff44ce3f40d7663.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.171ex; width:6.151ex; height:3.509ex;" alt="{\displaystyle n<{\tfrac {1}{2}}}" loading="lazy"></span> but not for <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle n={\tfrac {1}{2}}.}">

<mfrac>

</mfrac>

</mstyle>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle n={\tfrac {1}{2}}.}</annotation>

</semantics>

</math></span><img src="./c81afd4c9e37a91c7a954304d8d9935ba72f6877.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.171ex; width:6.798ex; height:3.509ex;" alt="{\displaystyle n={\tfrac {1}{2}}.}" loading="lazy"></span><sup id="cite_ref-:1_1-1" class="reference"><a href="#cite_note-:1-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>

The function <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\tfrac {1}{x}},}">

<mfrac>

</mfrac>

</mstyle>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\tfrac {1}{x}},}</annotation>

</semantics>

</math></span><img src="./41ffd4fe3c18d755dd2a6059a6d24994daf4a38a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:2.423ex; height:3.343ex;" alt="{\displaystyle {\tfrac {1}{x}},}" loading="lazy"></span> defined on <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [1,\infty ),}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [1,\infty ),}</annotation>

</semantics>

</math></span><img src="./71e1aed145c093bcee69983ba4b0f2c1d5f698b9.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.718ex; height:2.843ex;" alt="{\displaystyle [1,\infty ),}" loading="lazy"></span> is square-integrable.<sup id="cite_ref-:0_3-0" class="reference"><a href="#cite_note-:0-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>

</p><p>Bounded functions, defined on <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [0,1],}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [0,1],}</annotation>

</semantics>

</math></span><img src="./971caee396752d8bf56711f55d2c3b1207d4a236.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.299ex; height:2.843ex;" alt="{\displaystyle [0,1],}" loading="lazy"></span> are square-integrable. These functions are also in <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{p},}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{p},}</annotation>

</semantics>

</math></span><img src="./842a68b4ad5a08d1837cb27a4fbbea432e045716.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.289ex; height:2.676ex;" alt="{\displaystyle L^{p},}" loading="lazy"></span> for any value of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p.}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle p.}</annotation>

</semantics>

</math></span><img src="./88532f4eab1d4cef71ef96c0f8c98cac36fd9257.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:1.906ex; height:2.009ex;" alt="{\displaystyle p.}" loading="lazy"></span><sup id="cite_ref-:0_3-1" class="reference"><a href="#cite_note-:0-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>

</p>

<div class="mw-heading mw-heading3"><h3 id="Non-examples">Non-examples</h3></div>

<p>The function <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\tfrac {1}{x}},}">

<mfrac>

</mfrac>

</mstyle>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\tfrac {1}{x}},}</annotation>

</semantics>

</math></span><img src="./41ffd4fe3c18d755dd2a6059a6d24994daf4a38a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:2.423ex; height:3.343ex;" alt="{\displaystyle {\tfrac {1}{x}},}" loading="lazy"></span> defined on <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [0,1],}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [0,1],}</annotation>

</semantics>

</math></span><img src="./971caee396752d8bf56711f55d2c3b1207d4a236.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.299ex; height:2.843ex;" alt="{\displaystyle [0,1],}" loading="lazy"></span> where the value at <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle 0}</annotation>

</semantics>

</math></span><img src="./2aae8864a3c1fec9585261791a809ddec1489950.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.162ex; height:2.176ex;" alt="{\displaystyle 0}" loading="lazy"></span> is arbitrary. Furthermore, this function is not in <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{p}}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{p}}</annotation>

</semantics>

</math></span><img src="./cf2317aaca1ecee4b8ccf667bc1001059eae5850.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.642ex; height:2.343ex;" alt="{\displaystyle L^{p}}" loading="lazy"></span> for any value of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle p}</annotation>

</semantics>

</math></span><img src="./81eac1e205430d1f40810df36a0edffdc367af36.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:1.259ex; height:2.009ex;" alt="{\displaystyle p}" loading="lazy"></span> in <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [1,\infty ).}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [1,\infty ).}</annotation>

</semantics>

</math></span><img src="./b84099563123b16985aea1abe99c423c2f520514.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.718ex; height:2.843ex;" alt="{\displaystyle [1,\infty ).}" loading="lazy"></span><sup id="cite_ref-:0_3-2" class="reference"><a href="#cite_note-:0-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>

</p>

<ul><li><a href="Inner_product_space" title="Inner product space">Inner product space</a></li>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{p}}</annotation>

</semantics>

</math></span><img src="./cf2317aaca1ecee4b8ccf667bc1001059eae5850.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.642ex; height:2.343ex;" alt="{\displaystyle L^{p}}" loading="lazy"></span> space</a> – Function spaces generalizing finite-dimensional p norm spaces</li></ul>

<div class="mw-heading mw-heading2"><h2 id="References">References</h2></div>

/* start https://en.wikipedia.org/ */

.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}

/* end https://en.wikipedia.org/ */

</style><div class="reflist">

/* start https://en.wikipedia.org/ */

.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("./mw/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("./mw/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("./mw/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("./mw/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}

/* end https://en.wikipedia.org/ */

</style><cite id="CITEREFTodd" class="citation web cs1">Todd, Rowland. <a rel="nofollow" class="external text" href="http://mathworld.wolfram.com/L2-Function.html">"L^2-Function"</a>. <i>MathWorld--A Wolfram Web Resource</i>.</cite></span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><b><a href="#cite_ref-2">^</a></b></span> <span class="reference-text"><cite id="CITEREFGiovanni_Sansone1991" class="citation book cs1"><a href="Giovanni_Sansone" title="Giovanni Sansone">Giovanni Sansone</a> (1991). <i>Orthogonal Functions</i>. Dover Publications. pp. <span class="nowrap">1–</span>2. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-0-486-66730-0</bdi>.</cite></span>

</li>

<li id="cite_note-:0-3"><span class="mw-cite-backlink">^ <a href="#cite_ref-:0_3-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-:0_3-1"><sup><i><b>b</b></i></sup></a> <a href="#cite_ref-:0_3-2"><sup><i><b>c</b></i></sup></a></span> <span class="reference-text"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20201024063542/http://faculty.bard.edu/belk/math461/LpFunctions.pdf">"Lp Functions"</a> <span class="cs1-format">(PDF)</span>. Archived from <a rel="nofollow" class="external text" href="http://faculty.bard.edu/belk/math461/LpFunctions.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 2020-10-24<span class="reference-accessdate">. Retrieved <span class="nowrap">2020-01-16</span></span>.</cite></span>

</li>

</ol></div></div>

/* start https://en.wikipedia.org/ */

.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}

/* end https://en.wikipedia.org/ */

</style><style data-mw-deduplicate="TemplateStyles:r1236075235">

/* start https://en.wikipedia.org/ */

.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}

/* end https://en.wikipedia.org/ */

</style></div><div role="navigation" class="navbox" aria-labelledby="Lp_spaces64" style="padding:3px"><table class="nowraplinks hlist mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><style data-mw-deduplicate="TemplateStyles:r1239400231">

/* start https://en.wikipedia.org/ */

.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media print{.mw-parser-output .navbar{display:none!important}}

/* end https://en.wikipedia.org/ */

</style><div id="Lp_spaces64" style="font-size:114%;margin:0 4em"><a href="Lp_space" title="Lp space">Lp spaces</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">Basic concepts</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Banach_space" title="Banach space">Banach</a> & <a href="Hilbert_space" title="Hilbert space">Hilbert spaces</a></li>

<li><a href="Lp_space" title="Lp space"><i>L</i><sup><i>p</i></sup> spaces</a></li>

<li><a href="Measure_(mathematics)" title="Measure (mathematics)">Measure</a>

<ul><li><a href="Lebesgue_measure" title="Lebesgue measure">Lebesgue</a></li></ul></li>

<li><a href="Measure_space" title="Measure space">Measure space</a></li>

<li><a href="Measurable_space" title="Measurable space">Measurable space</a>/<a href="Measurable_function" title="Measurable function">function</a></li>

<li><a href="Minkowski_distance" title="Minkowski distance">Minkowski distance</a></li>

<li><a href="Sequence_space" title="Sequence space">Sequence spaces</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="L1_space" class="mw-redirect" title="L1 space"><i>L</i><sup>1</sup> spaces</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Integrable_function" class="mw-redirect" title="Integrable function">Integrable function</a></li>

<li><a href="Lebesgue_integration" class="mw-redirect" title="Lebesgue integration">Lebesgue integration</a></li>

<li><a href="Taxicab_geometry" title="Taxicab geometry">Taxicab geometry</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="L2_space" class="mw-redirect" title="L2 space"><i>L</i><sup>2</sup> spaces</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Bessel's_inequality" title="Bessel's inequality">Bessel's</a></li>

<li><a href="Cauchy%E2%80%93Schwarz_inequality" title="Cauchy–Schwarz inequality">Cauchy–Schwarz</a></li>

<li><a href="Euclidean_distance" title="Euclidean distance">Euclidean distance</a></li>

<li><a href="Hilbert_space" title="Hilbert space">Hilbert space</a></li>

<li><a href="Parseval's_identity" title="Parseval's identity">Parseval's identity</a></li>

<li><a href="Polarization_identity" title="Polarization identity">Polarization identity</a></li>

<li><a href="Pythagorean_theorem" title="Pythagorean theorem">Pythagorean theorem</a></li>

</ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="L-infinity" title="L-infinity"><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{\infty }}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{\infty }}</annotation>

</semantics>

</math></span><img src="./b9ab400cc4dfd865180cd84c72dc894ca457671f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:3.458ex; height:2.343ex;" alt="{\displaystyle L^{\infty }}" loading="lazy"></span> spaces</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Bounded_function" title="Bounded function">Bounded function</a></li>

<li><a href="Chebyshev_distance" title="Chebyshev distance">Chebyshev distance</a></li>

<li><a href="Infimum_and_supremum" title="Infimum and supremum">Infimum and supremum</a>

<ul><li><a href="Essential_infimum_and_essential_supremum" title="Essential infimum and essential supremum">Essential</a></li></ul></li>

<li><a href="Uniform_norm" title="Uniform norm">Uniform norm</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Maps</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Almost_everywhere" title="Almost everywhere">Almost everywhere</a></li>

<li><a href="Convergence_almost_everywhere" class="mw-redirect" title="Convergence almost everywhere">Convergence almost everywhere</a></li>

<li><a href="Convergence_in_measure" title="Convergence in measure">Convergence in measure</a></li>

<li><a href="Function_space" title="Function space">Function space</a></li>

<li><a href="Integral_transform" title="Integral transform">Integral transform</a></li>

<li><a href="Locally_integrable_function" title="Locally integrable function">Locally integrable function</a></li>

<li><a href="Measurable_function" title="Measurable function">Measurable function</a></li>

<li><a href="Symmetric_decreasing_rearrangement" title="Symmetric decreasing rearrangement">Symmetric decreasing rearrangement</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Inequalities</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Babenko%E2%80%93Beckner_inequality" title="Babenko–Beckner inequality">Babenko–Beckner</a></li>

<li><a href="Chebyshev's_inequality" title="Chebyshev's inequality">Chebyshev's</a></li>

<li><a href="Clarkson's_inequalities" title="Clarkson's inequalities">Clarkson's</a></li>

<li><a href="Hanner's_inequalities" title="Hanner's inequalities">Hanner's</a></li>

<li><a href="Hausdorff%E2%80%93Young_inequality" title="Hausdorff–Young inequality">Hausdorff–Young</a></li>

<li><a href="H%C3%B6lder's_inequality" title="Hölder's inequality">Hölder's</a></li>

<li><a href="Markov's_inequality" title="Markov's inequality">Markov's</a></li>

<li><a href="Minkowski_inequality" title="Minkowski inequality">Minkowski</a></li>

<li><a href="Young's_convolution_inequality" title="Young's convolution inequality">Young's convolution</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Results</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Marcinkiewicz_interpolation_theorem" title="Marcinkiewicz interpolation theorem">Marcinkiewicz interpolation theorem</a></li>

<li><a href="Plancherel_theorem" title="Plancherel theorem">Plancherel theorem</a></li>

<li><a href="Riemann%E2%80%93Lebesgue_lemma" title="Riemann–Lebesgue lemma">Riemann–Lebesgue</a></li>

<li><a href="Riesz%E2%80%93Fischer_theorem" title="Riesz–Fischer theorem">Riesz–Fischer theorem</a></li>

<li><a href="Riesz%E2%80%93Thorin_theorem" title="Riesz–Thorin theorem">Riesz–Thorin theorem</a></li></ul>

</div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%"><span style="font-size: 85%;">For <a href="Lebesgue_measure" title="Lebesgue measure">Lebesgue measure</a></span></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Isoperimetric_inequality" title="Isoperimetric inequality">Isoperimetric inequality</a></li>

<li><a href="Brunn%E2%80%93Minkowski_theorem" title="Brunn–Minkowski theorem">Brunn–Minkowski theorem</a>

<ul><li><a href="Milman's_reverse_Brunn%E2%80%93Minkowski_inequality" title="Milman's reverse Brunn–Minkowski inequality">Milman's reverse</a></li></ul></li>

<li><a href="Minkowski%E2%80%93Steiner_formula" title="Minkowski–Steiner formula">Minkowski–Steiner formula</a></li>

<li><a href="Pr%C3%A9kopa%E2%80%93Leindler_inequality" title="Prékopa–Leindler inequality">Prékopa–Leindler inequality</a></li>

<li><a href="Vitale's_random_Brunn%E2%80%93Minkowski_inequality" title="Vitale's random Brunn–Minkowski inequality">Vitale's random Brunn–Minkowski inequality</a></li></ul>

</div></td></tr></tbody></table><div>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Applications & related</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Bochner_space" title="Bochner space">Bochner space</a></li>

<li><a href="Fourier_analysis" title="Fourier analysis">Fourier analysis</a></li>

<li><a href="Lorentz_space" title="Lorentz space">Lorentz space</a></li>

<li><a href="Probability_theory" title="Probability theory">Probability theory</a></li>

<li><a href="Quasinorm" title="Quasinorm">Quasinorm</a></li>

<li><a href="Real_analysis" title="Real analysis">Real analysis</a></li>

<li><a href="Sobolev_space" title="Sobolev space">Sobolev space</a></li>

<li><a href="*-algebra" title="*-algebra">*-algebra</a>

<ul><li><a href="C*-algebra" title="C*-algebra">C*-algebra</a></li>

<li><a href="Von_Neumann_algebra" title="Von Neumann algebra">Von Neumann</a></li></ul></li></ul>

</div></td></tr></tbody></table></div>

<div class="navbox-styles"></div><div role="navigation" class="navbox" aria-labelledby="Banach_space_topics288" style="padding:3px"><table class="nowraplinks mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="Banach_space_topics288" style="font-size:114%;margin:0 4em"><a href="Banach_space" title="Banach space">Banach space</a> topics</div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">Types of Banach spaces</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Asplund_space" title="Asplund space">Asplund</a></li>

<li><a href="Banach_space" title="Banach space">Banach</a>

<li><a href="Banach_lattice" title="Banach lattice">Banach lattice</a></li>

<li><a href="Grothendieck_space" title="Grothendieck space">Grothendieck </a></li>

<li><a href="Hilbert_space" title="Hilbert space">Hilbert</a>

<ul><li><a href="Inner_product_space" title="Inner product space">Inner product space</a></li>

<li><a href="Polarization_identity" title="Polarization identity">Polarization identity</a></li></ul></li>

<li>(<a href="Polynomially_reflexive_space" title="Polynomially reflexive space">Polynomially</a>) <a href="Reflexive_space" title="Reflexive space">Reflexive</a></li>

<li><a href="Riesz_space" title="Riesz space">Riesz</a></li>

<li><a href="L-semi-inner_product" title="L-semi-inner product">L-semi-inner product</a></li>

<li><a href="Strictly_convex_space" title="Strictly convex space">Strictly</a></li>

<li><a href="Uniformly_convex_space" title="Uniformly convex space">Uniformly</a>) convex</li>

<li><a href="Uniformly_smooth_space" title="Uniformly smooth space">Uniformly smooth</a></li>

<li>(<a href="Injective_tensor_product" title="Injective tensor product">Injective</a></li>

<li><a href="Projective_tensor_product" title="Projective tensor product">Projective</a>) <a href="Topological_tensor_product" title="Topological tensor product">Tensor product</a> (<a href="Tensor_product_of_Hilbert_spaces" title="Tensor product of Hilbert spaces">of Hilbert spaces</a>)</li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Banach spaces are:</th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Barrelled_space" title="Barrelled space">Barrelled</a></li>

<li><a href="Complete_topological_vector_space" title="Complete topological vector space">Complete</a></li>

<li><a href="F-space" title="F-space">F-space</a></li>

<li><a href="Fr%C3%A9chet_space" title="Fréchet space">Fréchet</a>

<li><a href="Locally_convex_topological_vector_space" title="Locally convex topological vector space">Locally convex</a>

<ul><li><a href="Locally_convex_topological_vector_space#Definition_via_seminorms" title="Locally convex topological vector space">Seminorms</a>/<a href="Minkowski_functional" title="Minkowski functional">Minkowski functionals</a></li></ul></li>

<li><a href="Mackey_space" title="Mackey space">Mackey</a></li>

<li><a href="Metrizable_topological_vector_space" title="Metrizable topological vector space">Metrizable</a></li>

<li><a href="Normed_space" class="mw-redirect" title="Normed space">Normed</a>

<li><a href="Quasinorm" title="Quasinorm">Quasinormed</a></li>

<li><a href="Stereotype_space" class="mw-redirect" title="Stereotype space">Stereotype</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Function space Topologies</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Banach%E2%80%93Mazur_compactum" title="Banach–Mazur compactum">Banach–Mazur compactum</a></li>

<li><a href="Dual_space" title="Dual space">Dual space</a>

<li><a href="Operator_topologies" title="Operator topologies">Operator</a></li>

<li><a href="Ultraweak_topology" title="Ultraweak topology">Ultraweak</a></li>

<ul><li><a href="Weak_topology_(polar_topology)" class="mw-redirect" title="Weak topology (polar topology)">polar</a></li>

<li><a href="Weak_operator_topology" title="Weak operator topology">operator</a></li></ul></li>

<li><a href="Strong_topology" title="Strong topology">Strong</a>

<ul><li><a href="Strong_topology_(polar_topology)" class="mw-redirect" title="Strong topology (polar topology)">polar</a></li>

<li><a href="Strong_operator_topology" title="Strong operator topology">operator</a></li></ul></li>

<li><a href="Ultrastrong_topology" title="Ultrastrong topology">Ultrastrong</a></li>

<li><a href="Topology_of_uniform_convergence" class="mw-redirect" title="Topology of uniform convergence">Uniform convergence</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="Linear_operator" class="mw-redirect" title="Linear operator">Linear operators</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Hermitian_adjoint" title="Hermitian adjoint">Adjoint</a></li>

<li><a href="Bilinear_map" title="Bilinear map">Bilinear</a>

<li><a href="Bilinear_map" title="Bilinear map">operator</a></li>

<li><a href="Sesquilinear_form" title="Sesquilinear form">sesquilinear</a></li></ul></li>

<li>(<a href="Unbounded_operator" title="Unbounded operator">Un</a>)<a href="Bounded_operator" title="Bounded operator">Bounded</a></li>

<li><a href="Closed_linear_operator" title="Closed linear operator">Closed</a></li>

<li><a href="Compact_operator" title="Compact operator">Compact</a>

<ul><li><a href="Compact_operator_on_Hilbert_space" title="Compact operator on Hilbert space">on Hilbert spaces</a></li></ul></li>

<li>(<a href="Discontinuous_linear_map" title="Discontinuous linear map">Dis</a>)<a href="Continuous_linear_operator" title="Continuous linear operator">Continuous</a></li>

<li><a href="Densely_defined" class="mw-redirect" title="Densely defined">Densely defined</a></li>

<li>Fredholm

<ul><li><a href="Fredholm_kernel" title="Fredholm kernel">kernel</a></li>

<li><a href="Fredholm_operator" title="Fredholm operator">operator</a></li></ul></li>

<li><a href="Hilbert%E2%80%93Schmidt_operator" title="Hilbert–Schmidt operator">Hilbert–Schmidt</a></li>

<li><a href="Linear_form" title="Linear form">Functionals</a>

<ul><li><a href="Positive_linear_functional" title="Positive linear functional">positive</a></li></ul></li>

<li><a href="Pseudo-monotone_operator" title="Pseudo-monotone operator">Pseudo-monotone</a></li>

<li><a href="Normal_operator" title="Normal operator">Normal</a></li>

<li><a href="Nuclear_operator" title="Nuclear operator">Nuclear</a></li>

<li><a href="Self-adjoint_operator" title="Self-adjoint operator">Self-adjoint</a></li>

<li><a href="Strictly_singular_operator" title="Strictly singular operator">Strictly singular</a></li>

<li><a href="Trace_class" title="Trace class">Trace class</a></li>

<li><a href="Transpose_of_a_linear_map" title="Transpose of a linear map">Transpose</a></li>

<li><a href="Unitary_operator" title="Unitary operator">Unitary</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="Operator_theory" title="Operator theory">Operator theory</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Banach_algebra" title="Banach algebra">Banach algebras</a></li>

<li><a href="C*-algebra" title="C*-algebra">C*-algebras</a></li>

<li><a href="Operator_space" title="Operator space">Operator space</a></li>

<li><a href="Spectrum_(functional_analysis)" title="Spectrum (functional analysis)">Spectrum</a>

<ul><li><a href="Spectrum_of_a_C*-algebra" title="Spectrum of a C*-algebra">C*-algebra</a></li>

<li><a href="Spectral_radius" title="Spectral radius">radius</a></li></ul></li>

<li><a href="Spectral_theory" title="Spectral theory">Spectral theory</a>

<li><a href="Spectral_theorem" title="Spectral theorem">Spectral theorem</a></li></ul></li>

<li><a href="Polar_decomposition" title="Polar decomposition">Polar decomposition</a></li>

<li><a href="Singular_value_decomposition" title="Singular value decomposition">Singular value decomposition</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Theorems</th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Anderson%E2%80%93Kadec_theorem" title="Anderson–Kadec theorem">Anderson–Kadec</a></li>

<li><a href="Banach%E2%80%93Alaoglu_theorem" title="Banach–Alaoglu theorem">Banach–Alaoglu</a></li>

<li><a href="Banach%E2%80%93Mazur_theorem" title="Banach–Mazur theorem">Banach–Mazur</a></li>

<li><a href="Banach%E2%80%93Saks_theorem" class="mw-redirect" title="Banach–Saks theorem">Banach–Saks</a></li>

<li><a href="Open_mapping_theorem_(functional_analysis)" title="Open mapping theorem (functional analysis)">Banach–Schauder (open mapping)</a></li>

<li><a href="Uniform_boundedness_principle" title="Uniform boundedness principle">Banach–Steinhaus (Uniform boundedness)</a></li>

<li><a href="Bessel's_inequality" title="Bessel's inequality">Bessel's inequality</a></li>

<li><a href="Cauchy%E2%80%93Schwarz_inequality" title="Cauchy–Schwarz inequality">Cauchy–Schwarz inequality</a></li>

<li><a href="Closed_graph_theorem" title="Closed graph theorem">Closed graph</a></li>

<li><a href="Closed_range_theorem" title="Closed range theorem">Closed range</a></li>

<li><a href="Eberlein%E2%80%93%C5%A0mulian_theorem" title="Eberlein–Šmulian theorem">Eberlein–Šmulian</a></li>

<li><a href="Freudenthal_spectral_theorem" title="Freudenthal spectral theorem">Freudenthal spectral</a></li>

<li><a href="Gelfand%E2%80%93Mazur_theorem" title="Gelfand–Mazur theorem">Gelfand–Mazur</a></li>

<li><a href="Gelfand%E2%80%93Naimark_theorem" title="Gelfand–Naimark theorem">Gelfand–Naimark</a></li>

<li><a href="Goldstine_theorem" title="Goldstine theorem">Goldstine</a></li>

<li><a href="Hahn%E2%80%93Banach_theorem" title="Hahn–Banach theorem">Hahn–Banach</a>

<ul><li><a href="Hyperplane_separation_theorem" title="Hyperplane separation theorem">hyperplane separation</a></li></ul></li>

<li><a href="Kakutani_fixed-point_theorem#Infinite-dimensional_generalizations" title="Kakutani fixed-point theorem">Kakutani fixed-point</a></li>

<li><a href="Krein%E2%80%93Milman_theorem" title="Krein–Milman theorem">Krein–Milman</a></li>

<li><a href="Invariant_subspace_problem#Known_special_cases" title="Invariant subspace problem">Lomonosov's invariant subspace</a></li>

<li><a href="Mackey%E2%80%93Arens_theorem" title="Mackey–Arens theorem">Mackey–Arens</a></li>

<li><a href="Mazur's_lemma" title="Mazur's lemma">Mazur's lemma</a></li>

<li><a href="M._Riesz_extension_theorem" title="M. Riesz extension theorem">M. Riesz extension</a></li>

<li><a href="Parseval's_identity" title="Parseval's identity">Parseval's identity</a></li>

<li><a href="Riesz's_lemma" title="Riesz's lemma">Riesz's lemma</a></li>

<li><a href="Riesz_representation_theorem" title="Riesz representation theorem">Riesz representation</a></li>

<li><a href="Ursescu_theorem#Robinson–Ursescu_theorem" title="Ursescu theorem">Robinson-Ursescu</a></li>

<li><a href="Schauder_fixed-point_theorem" title="Schauder fixed-point theorem">Schauder fixed-point</a></li>

<li><a href="Sobczyk's_theorem" title="Sobczyk's theorem">Sobczyk's theorem</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Analysis</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Abstract_Wiener_space" title="Abstract Wiener space">Abstract Wiener space</a></li>

<li><a href="Banach_manifold" title="Banach manifold">Banach manifold</a>

<ul><li><a href="Banach_bundle" title="Banach bundle">bundle</a></li></ul></li>

<li><a href="Bochner_space" title="Bochner space">Bochner space</a></li>

<li><a href="Convex_series" title="Convex series">Convex series</a></li>

<li><a href="Differentiation_in_Fr%C3%A9chet_spaces" title="Differentiation in Fréchet spaces">Differentiation in Fréchet spaces</a></li>

<li><a href="Derivative" title="Derivative">Derivatives</a>

<ul><li><a href="Fr%C3%A9chet_derivative" title="Fréchet derivative">Fréchet</a></li>

<li><a href="Gateaux_derivative" title="Gateaux derivative">Gateaux</a></li>

<li><a href="Functional_derivative" title="Functional derivative">functional</a></li>

<li><a href="Infinite-dimensional_holomorphy" title="Infinite-dimensional holomorphy">holomorphic</a></li>

<li><a href="Quasi-derivative" title="Quasi-derivative">quasi</a></li></ul></li>

<li><a href="Integral" title="Integral">Integrals</a>

<ul><li><a href="Bochner_integral" title="Bochner integral">Bochner</a></li>

<li><a href="Dunford_integral" class="mw-redirect" title="Dunford integral">Dunford</a></li>

<li><a href="Pettis_integral" title="Pettis integral">Gelfand–Pettis</a></li>

<li><a href="Regulated_integral" title="Regulated integral">regulated</a></li>

<li><a href="Paley%E2%80%93Wiener_integral" title="Paley–Wiener integral">Paley–Wiener</a></li>

<li><a href="Functional_calculus" title="Functional calculus">Functional calculus</a>

<ul><li><a href="Borel_functional_calculus" title="Borel functional calculus">Borel</a></li>

<li><a href="Continuous_functional_calculus" title="Continuous functional calculus">continuous</a></li>

<li><a href="Holomorphic_functional_calculus" title="Holomorphic functional calculus">holomorphic</a></li></ul></li>

<li><a href="Measure_(mathematics)" title="Measure (mathematics)">Measures</a>

<ul><li><a href="Infinite-dimensional_Lebesgue_measure" title="Infinite-dimensional Lebesgue measure">Lebesgue</a></li>

<li><a href="Projection-valued_measure" title="Projection-valued measure">Projection-valued</a></li>

<li><a href="Vector_measure" title="Vector measure">Vector</a></li></ul></li>

<li><a href="Weakly_measurable_function" title="Weakly measurable function">Weakly</a> / <a href="Strongly_measurable_functions" class="mw-redirect" title="Strongly measurable functions">Strongly</a> measurable function</li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Types of sets</th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Absolutely_convex_set" title="Absolutely convex set">Absolutely convex</a></li>

<li><a href="Absorbing_set" title="Absorbing set">Absorbing</a></li>

<li><a href="Affine_space" title="Affine space">Affine</a></li>

<li><a href="Balanced_set" title="Balanced set">Balanced/Circled</a></li>

<li><a href="Bounded_set_(topological_vector_space)" title="Bounded set (topological vector space)">Bounded</a></li>

<li><a href="Convex_set" title="Convex set">Convex</a></li>

<li><a href="Convex_cone" title="Convex cone">Convex cone <span style="font-size: 85%;">(subset)</span></a></li>

<li><a href="Convex_series#Types_of_subsets" title="Convex series">Convex series related</a> ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (H<i>x</i>), and (Hw<i>x</i>))</li>

<li><a href="Cone_(linear_algebra)" class="mw-redirect" title="Cone (linear algebra)">Linear cone <span style="font-size: 85%;">(subset)</span></a></li>

<li><a href="Radial_set" title="Radial set">Radial</a></li>

<li><a href="Star_domain" title="Star domain">Radially convex/Star-shaped</a></li>

<li><a href="Symmetric_set" title="Symmetric set">Symmetric</a></li>

<li><a href="Zonotope" class="mw-redirect" title="Zonotope">Zonotope</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Subsets / set operations</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Affine_hull" title="Affine hull">Affine hull</a></li>

<li>(<a href="Algebraic_interior#Relative_algebraic_interior" title="Algebraic interior">Relative</a>) <a href="Algebraic_interior" title="Algebraic interior">Algebraic interior (core)</a></li>

<li><a href="Bounding_point" title="Bounding point">Bounding points</a></li>

<li><a href="Convex_hull" title="Convex hull">Convex hull</a></li>

<li><a href="Extreme_point" title="Extreme point">Extreme point</a></li>

<li><a href="Interior_(topology)" title="Interior (topology)">Interior</a></li>

<li><a href="Linear_span" title="Linear span">Linear span</a></li>

<li><a href="Minkowski_addition" title="Minkowski addition">Minkowski addition</a></li>

<li><a href="Polar_set" title="Polar set">Polar</a></li>

<li>(<a href="Algebraic_interior#Quasi_relative_interior" title="Algebraic interior">Quasi</a>) <a href="Algebraic_interior#Relative_interior" title="Algebraic interior">Relative interior</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Examples</th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Absolute_continuity" title="Absolute continuity">Absolute continuity <i>AC</i></a></li>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle ba(\Sigma )}</annotation>

</semantics>

</math></span><img src="./58fe61351e3531b14043fa2d09e98c2437bd1a6a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.715ex; height:2.843ex;" alt="{\displaystyle ba(\Sigma )}" loading="lazy"></span></a></li>

<li><a href="C_space" title="C space">c space</a></li>

<li><a href="BK-space" title="BK-space">Banach coordinate <i>BK</i></a></li>

<li><a href="Besov_space" title="Besov space">Besov <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B_{p,q}^{s}(\mathbb {R} )}">

</mrow>

</mrow>

</msubsup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{p,q}^{s}(\mathbb {R} )}</annotation>

</semantics>

</math></span><img src="./9919cf78ad095c237169772d2b27a37bfbef1b75.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:7.524ex; height:3.009ex;" alt="{\displaystyle B_{p,q}^{s}(\mathbb {R} )}" loading="lazy"></span></a></li>

<li><a href="Birnbaum%E2%80%93Orlicz_space" class="mw-redirect" title="Birnbaum–Orlicz space">Birnbaum–Orlicz</a></li>

<li><a href="Bounded_variation" title="Bounded variation">Bounded variation <i>BV</i></a></li>

<li><a href="Bs_space" title="Bs space">Bs space</a></li>

<li><a href="Continuous_functions_on_a_compact_Hausdorff_space" class="mw-redirect" title="Continuous functions on a compact Hausdorff space">Continuous <i>C(K)</i> with <i>K</i> compact Hausdorff</a></li>

<li><a href="Hardy_space" title="Hardy space">Hardy H<sup><i>p</i></sup></a></li>

<li><a href="Hilbert_space#Definition" title="Hilbert space">Hilbert <i>H</i></a></li>

<li><a href="Morrey%E2%80%93Campanato_space" title="Morrey–Campanato space">Morrey–Campanato <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle L^{\lambda ,p}(\Omega )}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{\lambda ,p}(\Omega )}</annotation>

</semantics>

</math></span><img src="./8b8af58fa038369c3ec6386c6656aab82825e372.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:7.545ex; height:3.176ex;" alt="{\displaystyle L^{\lambda ,p}(\Omega )}" loading="lazy"></span></a></li>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \ell ^{\infty }}</annotation>

</semantics>

</math></span><img src="./8348195cf09473662c6f59e6717722a6fc01d0f4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.845ex; height:2.343ex;" alt="{\displaystyle \ell ^{\infty }}" loading="lazy"></span></a></li></ul></li>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle L^{\infty }}</annotation>

</semantics>

</math></span><img src="./b9ab400cc4dfd865180cd84c72dc894ca457671f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:3.458ex; height:2.343ex;" alt="{\displaystyle L^{\infty }}" loading="lazy"></span></a></li>

<li><a href="Lp_space#Weighted_Lp_spaces" title="Lp space">weighted</a></li></ul></li>

<li><a href="Schwartz_space" title="Schwartz space">Schwartz <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S\left(\mathbb {R} ^{n}\right)}">

<mrow>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S\left(\mathbb {R} ^{n}\right)}</annotation>

</semantics>

</math></span><img src="./0465acd58a0f31e32b095aed742d9ccc6331369c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.592ex; height:2.843ex;" alt="{\displaystyle S\left(\mathbb {R} ^{n}\right)}" loading="lazy"></span></a></li>

<li><a href="Segal%E2%80%93Bargmann_space" title="Segal–Bargmann space">Segal–Bargmann <i>F</i></a></li>

<li><a href="Sequence_space" title="Sequence space">Sequence space</a></li>

<li><a href="Sobolev_space" title="Sobolev space">Sobolev W<sup><i>k,p</i></sup></a>

<ul><li><a href="Sobolev_inequality" title="Sobolev inequality">Sobolev inequality</a></li></ul></li>

<li><a href="Triebel%E2%80%93Lizorkin_space" title="Triebel–Lizorkin space">Triebel–Lizorkin</a></li>

<li><a href="Wiener_amalgam_space" title="Wiener amalgam space">Wiener amalgam <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle W(X,L^{p})}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle W(X,L^{p})}</annotation>

</semantics>

</math></span><img src="./b37b1dc9714960c525cb561a4828f41feb5844ec.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:9.9ex; height:2.843ex;" alt="{\displaystyle W(X,L^{p})}" loading="lazy"></span></a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Applications</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Differential_operator" title="Differential operator">Differential operator</a></li>

<li><a href="Finite_element_method" title="Finite element method">Finite element method</a></li>

<li><a href="Mathematical_formulation_of_quantum_mechanics" title="Mathematical formulation of quantum mechanics">Mathematical formulation of quantum mechanics</a></li>

<li><a href="Spectral_theory_of_ordinary_differential_equations" title="Spectral theory of ordinary differential equations">Ordinary Differential Equations (ODEs)</a></li>

<li><a href="Validated_numerics" title="Validated numerics">Validated numerics</a></li></ul>

</div></td></tr></tbody></table></div>

<div class="navbox-styles"></div><div role="navigation" class="navbox" aria-labelledby="Hilbert_spaces69" style="padding:3px"><table class="nowraplinks hlist mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="Hilbert_spaces69" style="font-size:114%;margin:0 4em"><a href="Hilbert_space" title="Hilbert space">Hilbert spaces</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">Basic concepts</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Hermitian_adjoint" title="Hermitian adjoint">Adjoint</a></li>

<li><a href="Inner_product_space" title="Inner product space">Inner product</a> and <a href="L-semi-inner_product" title="L-semi-inner product">L-semi-inner product</a></li>

<li><a href="Hilbert_space" title="Hilbert space">Hilbert space</a> and <a href="Prehilbert_space" class="mw-redirect" title="Prehilbert space">Prehilbert space</a></li>

<li><a href="Orthogonal_complement" title="Orthogonal complement">Orthogonal complement</a></li>

<li><a href="Orthonormal_basis" title="Orthonormal basis">Orthonormal basis</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Main results</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Bessel's_inequality" title="Bessel's inequality">Bessel's inequality</a></li>

<li><a href="Cauchy%E2%80%93Schwarz_inequality" title="Cauchy–Schwarz inequality">Cauchy–Schwarz inequality</a></li>

<li><a href="Riesz_representation_theorem" title="Riesz representation theorem">Riesz representation</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Other results</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Hilbert_projection_theorem" title="Hilbert projection theorem">Hilbert projection theorem</a></li>

<li><a href="Parseval's_identity" title="Parseval's identity">Parseval's identity</a></li>

<li><a href="Polarization_identity" title="Polarization identity">Polarization identity</a> (<a href="Parallelogram_law#The_parallelogram_law_in_inner_product_spaces" title="Parallelogram law">Parallelogram law</a>)</li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Maps</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Compact_operator_on_Hilbert_space" title="Compact operator on Hilbert space">Compact operator on Hilbert space</a></li>

<li><a href="Densely_defined_operator" title="Densely defined operator">Densely defined</a></li>

<li><a href="Sesquilinear_form#Hermitian_form" title="Sesquilinear form">Hermitian form</a></li>

<li><a href="Hilbert%E2%80%93Schmidt_operator" title="Hilbert–Schmidt operator">Hilbert–Schmidt</a></li>

<li><a href="Normal_operator" title="Normal operator">Normal</a></li>

<li><a href="Self-adjoint_operator" title="Self-adjoint operator">Self-adjoint</a></li>

<li><a href="Sesquilinear_form" title="Sesquilinear form">Sesquilinear form</a></li>

<li><a href="Trace_class" title="Trace class">Trace class</a></li>

<li><a href="Unitary_operator" title="Unitary operator">Unitary</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Examples</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Distribution_(mathematics)" title="Distribution (mathematics)"><i>C</i><sup><i>n</i></sup>(<i>K</i>) with <i>K</i> compact & <i>n</i><∞</a></li>

<li><a href="Segal%E2%80%93Bargmann_space" title="Segal–Bargmann space">Segal–Bargmann <i>F</i></a></li></ul>

</div></td></tr></tbody></table></div></div><div><div class="zim-footer">

This article is issued from <a class="external text" title="Last edited on 2025-06-15" href="https://en.wikipedia.org/wiki/?title=Square-integrable_function&oldid=1295700507">Wikipedia</a>. The text is available under <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-Share Alike 4.0</a> unless otherwise noted. Additional terms may apply for the media files.

</div>

</div></div>

</div>

</main>

</div>

</body></html>